641. Modelle der Mengenlehre Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
37
642. Modelle der Mengenlehre : Widerspruchsireiheit Und Unabhangigkeit der Kontinum-Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
37
643. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
644. Mutational and Morphological Analysis
پدیدآورنده : by Jean-Pierre Aubin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.
645. Naive Set Theory
پدیدآورنده : by Paul R. Halmos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
646. Neutrosophic methods in general relativity /
پدیدآورنده : by Dmitri Rabounski, Florentin Smarandache, Larissa Borisova ; edited by Stephen J. Crothers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : General relativity (Physics),Logic, Symbolic and mathematical.,Many-valued logic.,Smarandache notions.,General relativity (Physics),Logic, Symbolic and mathematical.,Many-valued logic.,MATHEMATICS-- Number Theory.,Relatividade (física),Smarandache notions.
رده :
QA9
.
45
.
R23
2005eb
647. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Tarski, Alfred,Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA8
.
4
.
N49
2008
648. New essays on Tarski and philosophy
پدیدآورنده : edited by Douglas Patterson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Tarski, Alfred,، Mathematics -- Philosophy,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
N493
649. New essays on Tarski and philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Tarski, Alfred. ; Mathematics ; Philosophy. ; Logic, Symbolic and mathematical ; Philosophy. ;
650. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
651. Non-commutative Multiple-Valued Logic Algebra
پدیدآورنده : / electronic resource
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Algebra,Logic, Symbolic and mathematical,Distribution (Probability theory),Mathematics,Mathematical Logic and Foundations,Order, Lattices, Ordered Algebraic Structures,Probability Theory and Stochastic Processes,Measure and Integration
رده :
E-BOOK
652. Non-Standard analysis
پدیدآورنده : Abraham Robinson
موضوع : Mathematical analysis,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
653. Non-standard analysis
پدیدآورنده : Robinson, Abraham
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Nonstandard mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
299
.
82
.
R6
1974
654. Non-standard analysis
پدیدآورنده : / Abraham Robinson revised edition
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Mathematical analysis - Congresses,Logic, symbolic and mathematical - Congresses
رده :
515
R658
1974
655. [Omega]-Bibliography of Mathematical Logic :
پدیدآورنده : edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
656. ]Omega[-bibliography of mathematical logic
پدیدآورنده : edited by Gert H. Muller; in coll. with Wolfgan Lenski
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Bibliography ، Logic, Symbolic and mathematical
رده :
Z
6654
.
M26047
657. On gorup- theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Group, Theory of,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
68
658. On group - Theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F. 1491-
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Group , theory of,، Logic , Symbolic and mathematical
رده :
QA
171
.
M48
659. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F., 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Group theory,، Logic, Symbolic and mathematical
رده :
QA
171
.
M48
1971
660. On group-theoretic decision problems and their classification
پدیدآورنده : Miller, Charles F
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Group theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
68
